Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
comp.lang.prolog
Conversations
About
comp.lang.prolog
1–30 of 18213
Mark all as read
Report abusive group
0 selected
Mark Tarver
,
Fred Mesnard
2
7:14 AM
conversion to conjunctive normal form
The empty CNF because it's a tautology as logical equivalence is associative. Fred
unread,
conversion to conjunctive normal form
The empty CNF because it's a tautology as logical equivalence is associative. Fred
7:14 AM
Mostowski Collapse
,
Mostowski Collapse
7
Mar 22
ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
Dogelog Player is a Prolog system 100% written in Prolog itself. Recently the browser integration got
unread,
ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
Dogelog Player is a Prolog system 100% written in Prolog itself. Recently the browser integration got
Mar 22
Mats Carlsson
, …
Mostowski Collapse
16
Mar 22
comparing infinite terms
This never gets old, especially since even seasoned Prologers might not be aware of it. But it made
unread,
comparing infinite terms
This never gets old, especially since even seasoned Prologers might not be aware of it. But it made
Mar 22
Mostowski Collapse
,
Mostowski Collapse
73
Mar 18
Request for comments, Novacore the sequel to ISO modules
But this other angle would only work inside JSON. There is still a problem with ordinary Prolog code,
unread,
Request for comments, Novacore the sequel to ISO modules
But this other angle would only work inside JSON. There is still a problem with ordinary Prolog code,
Mar 18
Mostowski Collapse
, …
Mostowski Collapse
75
Mar 17
OT: Distance Learning Prolog
RIP Roger Carl Schank! († January 29, 2023) > The central focus of Schank's theory has been
unread,
OT: Distance Learning Prolog
RIP Roger Carl Schank! († January 29, 2023) > The central focus of Schank's theory has been
Mar 17
Mostowski Collapse
,
Mostowski Collapse
40
Mar 16
Bringing Unicode to Prolog (Dogelog Runtime)
Will also bring them to Java. Although JPL proposes @(null), @(false) and @(true)? But the advantage
unread,
Bringing Unicode to Prolog (Dogelog Runtime)
Will also bring them to Java. Although JPL proposes @(null), @(false) and @(true)? But the advantage
Mar 16
Markus Triska
Mar 16
comp.lang.prolog Frequently Asked Questions
Frequently Asked Questions - comp.lang.prolog Last-modified: 2022-02-24 Last-changes: Update link to
unread,
comp.lang.prolog Frequently Asked Questions
Frequently Asked Questions - comp.lang.prolog Last-modified: 2022-02-24 Last-changes: Update link to
Mar 16
Mostowski Collapse
, …
Mostowski Collapse
149
Mar 14
50 Years of Prolog Nonsense
ECLiPSe Prolog even performs worse than Scryer Prolog. I get this timing: ?- canonball, munchhausen(_
unread,
50 Years of Prolog Nonsense
ECLiPSe Prolog even performs worse than Scryer Prolog. I get this timing: ?- canonball, munchhausen(_
Mar 14
Mostowski Collapse
12
Mar 9
Post Corona 2023 Fibertalk Challenge
The same works in Tau Prolog sandbox: :- use_module(library(os)). call_later(G, T) :- set_timeout(T,
unread,
Post Corona 2023 Fibertalk Challenge
The same works in Tau Prolog sandbox: :- use_module(library(os)). call_later(G, T) :- set_timeout(T,
Mar 9
Mostowski Collapse
,
Mostowski Collapse
38
Mar 9
Request for comments, async ISO core standard I/O
I now have complete my take on Task Contexts, there is an implementation, will soon write a medium
unread,
Request for comments, async ISO core standard I/O
I now have complete my take on Task Contexts, there is an implementation, will soon write a medium
Mar 9
Graham Cooper
Mar 8
*** miniPROLOG *** ADD and EDIT screen pics
The 1st screenshot is where you enter a whole RECORD from user defined FORMS http://miniprolog.com/
unread,
*** miniPROLOG *** ADD and EDIT screen pics
The 1st screenshot is where you enter a whole RECORD from user defined FORMS http://miniprolog.com/
Mar 8
Graham Cooper
Mar 7
*** miniPROLOG 4 PiCS ***
miniPROLOG has USER FRIENDLY Data Entry http://miniprolog.com/enter.png http://miniprolog.com/edit.
unread,
*** miniPROLOG 4 PiCS ***
miniPROLOG has USER FRIENDLY Data Entry http://miniprolog.com/enter.png http://miniprolog.com/edit.
Mar 7
Graham Cooper
Mar 5
********** miniPROLOG ********* Invoices
http://miniprolog.com/INVOICE-DEMO.png invit ID TOTAL invitem ID NDP print N print D print P plus
unread,
********** miniPROLOG ********* Invoices
http://miniprolog.com/INVOICE-DEMO.png invit ID TOTAL invitem ID NDP print N print D print P plus
Mar 5
Markus Triska
Mar 2
comp.lang.prolog Frequently Asked Questions
Frequently Asked Questions - comp.lang.prolog Last-modified: 2022-02-24 Last-changes: Update link to
unread,
comp.lang.prolog Frequently Asked Questions
Frequently Asked Questions - comp.lang.prolog Last-modified: 2022-02-24 Last-changes: Update link to
Mar 2
Graham Cooper
Mar 1
****** miniPROLOG ************ friendOfNiece( Pers Friend )
www.miniPROLOG.com/friendOFniece.png
unread,
****** miniPROLOG ************ friendOfNiece( Pers Friend )
www.miniPROLOG.com/friendOFniece.png
Mar 1
Graham Cooper
Feb 28
*** miniPROLOG ***
www.miniprolog.com/DATA-EDIT-SCREEN.png
unread,
*** miniPROLOG ***
www.miniprolog.com/DATA-EDIT-SCREEN.png
Feb 28
Paulo Moura
Feb 27
ANN: Logtalk 3.63.0 released
Hi, Logtalk 3.63.0 is now available for downloading at: https://logtalk.org/ This release fixes
unread,
ANN: Logtalk 3.63.0 released
Hi, Logtalk 3.63.0 is now available for downloading at: https://logtalk.org/ This release fixes
Feb 27
Graham Cooper
Feb 26
******************* miniPROLOG DEMO PICTURE *********************
http://miniprolog.com/DEMO.png
unread,
******************* miniPROLOG DEMO PICTURE *********************
http://miniprolog.com/DEMO.png
Feb 26
Graham Cooper
Feb 26
**** miniPROLOG **** ..... PROLOG DUAL TAIL RECURSION
A LOT of Trial and Error to get it right! CALLTAIL( $TAIL $TAILNUM ) { .... if ($c[$ans][1] >
unread,
**** miniPROLOG **** ..... PROLOG DUAL TAIL RECURSION
A LOT of Trial and Error to get it right! CALLTAIL( $TAIL $TAILNUM ) { .... if ($c[$ans][1] >
Feb 26
Graham Cooper
Feb 24
************** miniPROLOG ************** Function Calls
I guessed work a bit of code and fluked it so thinking keep it simple so nearly fin all the hard work
unread,
************** miniPROLOG ************** Function Calls
I guessed work a bit of code and fluked it so thinking keep it simple so nearly fin all the hard work
Feb 24
Geoffrey Churchill
, …
Mostowski Collapse
12
Feb 24
Can't find the paper "From Prolog to Haskell and Back" by Schrijvers and Demoen
Mostlikely ECLiPSe Prolog also beats Haskell, but GNU Prolog not so much: % /* ECLiPSe Prolog 7.1.12
unread,
Can't find the paper "From Prolog to Haskell and Back" by Schrijvers and Demoen
Mostlikely ECLiPSe Prolog also beats Haskell, but GNU Prolog not so much: % /* ECLiPSe Prolog 7.1.12
Feb 24
Graham Cooper
Feb 24
****************************************** miniPROLOG.com *****************************************
niece(PK) ... sister( PS ) ... son( SK ) it works on a small example but it finds SISTER TOM BARON ..
unread,
****************************************** miniPROLOG.com *****************************************
niece(PK) ... sister( PS ) ... son( SK ) it works on a small example but it finds SISTER TOM BARON ..
Feb 24
Mostowski Collapse
,
Mostowski Collapse
5
Feb 23
ANN: Dogelog Player 1.0.3 (Signal Handling)
The Dogelog Player is a Prolog system for the JavaScript and the Python platform. On both platforms
unread,
ANN: Dogelog Player 1.0.3 (Signal Handling)
The Dogelog Player is a Prolog system for the JavaScript and the Python platform. On both platforms
Feb 23
Jan Burse
, …
Mostowski Collapse
19
Feb 21
Accumulated and never suppressed exceptions (setup_call_cleanup/3)
I blame it on the stars, 2011 was A Year of the Cat and so is 2023. It is believed to bring good luck
unread,
Accumulated and never suppressed exceptions (setup_call_cleanup/3)
I blame it on the stars, 2011 was A Year of the Cat and so is 2023. It is believed to bring good luck
Feb 21
Thomas Alva Edison
, …
R Kym Horsell
55
Feb 20
The road to Artificial Intelligence
This is also a nice test case: bomb(N) :- bomb(N), bomb(N). /* Scryer Prolog 0.9.1-166 */ ?- bomb(
unread,
The road to Artificial Intelligence
This is also a nice test case: bomb(N) :- bomb(N), bomb(N). /* Scryer Prolog 0.9.1-166 */ ?- bomb(
Feb 20
Graham Cooper
Feb 20
IMPERATIVE LANGUAGE does everything PROLOG can do !!
The core of prolog is with 2 or more lines in the Tail neice( PK ) :- sibling( PS ) kid( SK ) Prolog
unread,
IMPERATIVE LANGUAGE does everything PROLOG can do !!
The core of prolog is with 2 or more lines in the Tail neice( PK ) :- sibling( PS ) kid( SK ) Prolog
Feb 20
Graham Cooper
Feb 20
AND(A B) simplified
nep CX -and1 sis dot and1 ABX -ACW -if -BWX -else -clear W -clear X -next -and1 ABX www.new-math.com
unread,
AND(A B) simplified
nep CX -and1 sis dot and1 ABX -ACW -if -BWX -else -clear W -clear X -next -and1 ABX www.new-math.com
Feb 20
Graham Cooper
Feb 20
BEGINNINGS OF LOGIC PROVER ............... simple AND() and OR()
CHECK OUT THIS SIMPLE AND ROUTINE dot is short for daughter nep CX -and1 sis dot kid CX -or son dot
unread,
BEGINNINGS OF LOGIC PROVER ............... simple AND() and OR()
CHECK OUT THIS SIMPLE AND ROUTINE dot is short for daughter nep CX -and1 sis dot kid CX -or son dot
Feb 20
Graham Cooper
Feb 20
kid(P K) working.... using OR(A B)
In this example we use OR() to calculate son(PK) or daughter(PK) kid mary [?] YES dot mary maryson
unread,
kid(P K) working.... using OR(A B)
In this example we use OR() to calculate son(PK) or daughter(PK) kid mary [?] YES dot mary maryson
Feb 20
Mostowski Collapse
, …
Mostowski Collapse
85
Feb 20
France is the Fire Nation of Prolog
Exception Chaining: I am planning to nevertheless introduce exception chaining, adopting some new
unread,
France is the Fire Nation of Prolog
Exception Chaining: I am planning to nevertheless introduce exception chaining, adopting some new
Feb 20