1. Forum
  2. Newsgroups
  3. comp.lang.prolog
How implement tarai in miniKaren?

By j4n bur53 on Sat Apr 6 04:03:14 2019

Latest reply by j4n bur53 on Tue Apr 16 16:18:56 2019
comp.lang.prolog Frequently Asked Questions

By Markus Triska on Sat Feb 16 06:00:02 2019

Latest reply by Markus Triska on Tue Apr 16 05:00:02 2019
Re: O-Prolog ver1.70

By j4n bur53 on Tue Feb 12 16:22:11 2019

Latest reply by j4n bur53 on Mon Apr 15 04:52:18 2019
=?UTF-8?Q?Translating_this_into_Prolog=3a_G_=e2=86=94_=7eProvable?==?UTF-8?B?KEcp?=

By peteolcott on Sat Apr 13 10:17:25 2019

Latest reply by peteolcott on Sat Apr 13 10:17:25 2019
new invention : steadfast reverse/2

By kintalken on Sun Mar 24 01:42:49 2019

Latest reply by j4n bur53 on Sat Apr 13 02:47:01 2019
=?UTF-8?Q?Translating_this_into_Prolog=3a_=7eProvable=28x=29_?==?UTF-8?B?4oaUIFRydWUoeCk=?=

By peteolcott on Fri Apr 12 11:33:07 2019

Latest reply by peteolcott on Fri Apr 12 11:33:07 2019
Re: Towards list comprehension for Prolog

By j4n bur53 on Tue Mar 5 06:29:35 2019

Latest reply by j4n bur53 on Fri Apr 12 04:24:28 2019
Easily QuickCheck your predicates at the top-level

By pjlmoura on Tue Apr 2 08:38:27 2019

Latest reply by j4n bur53 on Wed Apr 10 12:44:04 2019
Call for Contributions--First miniKanren and Relational Programming Workshop

By William Byrd on Fri Apr 5 12:46:53 2019

Latest reply by William Byrd on Fri Apr 5 12:46:53 2019
Re: Simplest "Trio" Web Server in Prolog

By j4n bur53 on Sun Feb 10 09:35:14 2019

Latest reply by j4n bur53 on Fri Apr 5 06:12:12 2019
Re: Break Point Challenge

By j4n bur53 on Mon Mar 11 16:12:27 2019

Latest reply by j4n bur53 on Thu Apr 4 07:09:04 2019
About efficient compilation code generation of deterministic predicates.

By kenstkc on Sun Mar 31 01:34:21 2019

Latest reply by kenstkc on Tue Apr 2 16:38:57 2019
ANN: Logtalk 3.25.0 released

By pjlmoura on Tue Apr 2 03:58:55 2019

Latest reply by pjlmoura on Tue Apr 2 03:58:55 2019
ANN: Jekejeke Prolog 1.3.6 (Disjunction Inlining)

By j4n bur53 on Mon Apr 1 16:33:01 2019

Latest reply by j4n bur53 on Mon Apr 1 16:33:01 2019
Does every instance of this pattern always fail:

By peteolcott on Fri Mar 29 00:08:42 2019

Latest reply by j4n bur53 on Mon Apr 1 13:22:58 2019
Re: Project "Leantalk" for the unwritten chapters of the ISO module standard

By j4n bur53 on Sun Mar 3 07:15:51 2019

Latest reply by j4n bur53 on Sat Mar 30 14:34:58 2019
=?UTF-8?Q?Can_this_be_translated_into_Prolog=3f_=e2=88=83F=e2=88=83?==?UTF-8?B?RyhHIOKGlCB+KEYg4oqiIEcpKQ==?=

By peteolcott on Thu Mar 28 17:04:18 2019

Latest reply by peteolcott on Fri Mar 29 00:15:33 2019
Re: Project "Leantalk" for the unwritten chapters of the ISO modulestandard

By j4n bur53 on Thu Mar 28 16:55:26 2019

Latest reply by j4n bur53 on Thu Mar 28 17:25:37 2019
=?UTF-8?B?UmU6IE8tUHJvbG9n44CAdmVyMC45MA==?=

By j4n bur53 on Sun Feb 17 03:00:55 2019

Latest reply by j4n bur53 on Thu Mar 28 03:58:44 2019
=?UTF-8?Q?Re:_O-Prolog=e3=80=80ver0.90?=

By j4n bur53 on Wed Mar 27 08:12:02 2019

Latest reply by j4n bur53 on Wed Mar 27 08:12:02 2019
\write17{departure towwards rea+TElity : the dcg voyage ovfdiss-cover+TEA .}

By kintalken on Fri Mar 15 15:23:48 2019

Latest reply by kintalken on Tue Mar 26 14:50:02 2019
Re: Make deterministic without using cut?

By j4n bur53 on Sat Mar 16 05:24:06 2019

Latest reply by kintalken on Mon Mar 25 05:57:47 2019
prolog for robot warehouse apps

By Rabican on Wed Mar 20 19:01:48 2019

Latest reply by Rabican on Fri Mar 22 09:15:45 2019
what is the best way to deliver good software and keep it runningover time

By Rabican on Thu Mar 21 08:40:06 2019

Latest reply by Rabican on Fri Mar 22 07:17:21 2019
Re: Writing a tokenizer in SWI Prolog

By kintalken on Mon Feb 11 12:09:02 2019

Latest reply by kintalken on Thu Mar 21 11:36:55 2019
can prolog do as well as haskell or lisp or etc? for say warehouseautomation and web apps?

By Rabican on Thu Mar 21 08:20:52 2019

Latest reply by Rabican on Thu Mar 21 08:20:52 2019
What are the origins of the admonishment to not use the cut ``!`` ?

By kintalken on Tue Mar 19 08:38:26 2019

Latest reply by kintalken on Tue Mar 19 08:38:26 2019
Principles and Practice of Declarative Programming 2019 -- 2nd CFP

By ffarka on Tue Mar 12 15:11:44 2019

Latest reply by ffarka on Tue Mar 12 15:11:44 2019
W3C Workshop on Web Standardization for Graph Data: Rules and Reasoning

By Harold Boley on Tue Mar 12 14:53:03 2019

Latest reply by Harold Boley on Tue Mar 12 14:53:03 2019
Prolog Spring Challenge Mordor

By j4n bur53 on Tue Mar 12 06:14:44 2019

Latest reply by j4n bur53 on Tue Mar 12 06:23:13 2019
found a fukcin squirell in my attic , bizarre thing wasnit was codingprolog on my missing mobile phone .

By kintalken on Tue Mar 5 21:11:37 2019

Latest reply by kintalken on Wed Mar 6 00:17:30 2019
Java Based Prolog with Tabling/Memoization

By Douglas R. Miles/LogicMoo on Sat Feb 9 20:17:41 2019

Latest reply by kintalken on Sun Mar 3 12:08:46 2019
website sin prolog

By gavinschuette on Thu Feb 14 11:39:24 2019

Latest reply by kintalken on Sat Mar 2 13:08:07 2019
eye think eye found a bug in bagof/_N_

By kintalken on Thu Feb 28 19:43:22 2019

Latest reply by kintalken on Thu Feb 28 19:43:22 2019
ANN: Logtalk 3.24.0 released

By pjlmoura on Thu Feb 28 04:26:00 2019

Latest reply by pjlmoura on Thu Feb 28 04:26:00 2019
Partial Functions in Arithmetic

By j4n bur53 on Mon Feb 25 07:49:22 2019

Latest reply by j4n bur53 on Wed Feb 27 01:33:31 2019
'SUBJECT': <['::"%pwhat_is_the_eight_route_ofn_that_eight_q.prolog"']>,[] ;

By kintalken on Tue Feb 26 17:05:59 2019

Latest reply by kintalken on Tue Feb 26 17:05:59 2019
ouch eye got kcutzs byu Prolog 6 million tiimesz tog eye hcuo

By kintalken on Tue Feb 26 10:00:31 2019

Latest reply by kintalken on Tue Feb 26 10:00:31 2019
prolog to drive warehouse automation and robotics

By Rabican on Mon Feb 25 14:03:39 2019

Latest reply by kintalken on Tue Feb 26 07:56:54 2019
ANN: Jekejeke Prolog 1.3.5 (HTTP representation metadata)

By j4n bur53 on Tue Feb 26 02:13:42 2019

Latest reply by j4n bur53 on Tue Feb 26 02:13:42 2019
announcement : latest arrival of that ambassodor to$?this#$->["""kinTALKi__EN_ca."""] .

By kintalken on Sat Feb 23 04:37:42 2019

Latest reply by kintalken on Sat Feb 23 04:37:42 2019
Re: Dinner Guests

By j4n bur53 on Fri Feb 15 05:49:43 2019

Latest reply by j4n bur53 on Wed Feb 20 04:27:56 2019
Annoying Existence of Dozen of Knowledge Assemblers

By j4n bur53 on Sun Feb 17 07:26:38 2019

Latest reply by kintalken on Tue Feb 19 13:55:03 2019
Re: Is prolog used in pattern recognition in financial market/automated trading?

By aherntrade on Sun Feb 17 15:31:41 2019

Latest reply by aherntrade on Sun Feb 17 15:31:41 2019
Re: Will Logtalk ever fly?

By j4n bur53 on Tue Feb 12 16:53:50 2019

Latest reply by kintalken on Sat Feb 16 10:19:28 2019
Combinations of Logic Programming with the Semantic Web and Graph Databases

By Harold Boley on Sat Feb 16 07:31:12 2019

Latest reply by Harold Boley on Sat Feb 16 07:31:12 2019
Re: Two Views on Term Expansion

By kintalken on Fri Feb 15 11:27:16 2019

Latest reply by kintalken on Fri Feb 15 11:50:51 2019
Re: Annie caught 384 fish let\'\'s eat-em .

By j4n bur53 on Sat Feb 9 14:31:18 2019

Latest reply by Rabican on Thu Feb 14 17:02:05 2019
found some weird old stuff then later remembered eye had decided t2od4o iiti tomorrow

By kintalken on Sun Feb 10 21:23:58 2019

Latest reply by kintalken on Sun Feb 10 23:45:01 2019
remembering a snake amongst a sea of mistake

By darayvuhn on Sun Feb 10 16:11:42 2019

Latest reply by darayvuhn on Sun Feb 10 16:11:42 2019
yield 14 ] --> [ ({thunderbird}) =>({thunderbird,bridge}) ] . .?>

By astimony on Sun Feb 10 11:54:12 2019

Latest reply by darayvuhn on Sun Feb 10 15:22:41 2019