Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in iso-prolog

Why does Prolog operator definitions have xfx?

prolog operators syntactic-sugar iso-prolog

Why doesn't gnu prolog support the "false" predicate? (I've changed to swi)

prolog gnu-prolog iso-prolog

Why did Technical Corrigendum 2 to ISO/IEC 13211-1:1995 omit "bar" from the "token" rule?

prolog iso-prolog

Difference between two variant implementations

prolog iso-prolog

Implementing user-defined arithmetic functions

prolog expression iso-prolog

Making Prolog code that works in GNU and SWI

prolog swi-prolog portability gnu-prolog iso-prolog

What does a clause without a head mean in prolog?

prolog iso-prolog prolog-directive-dynamic

What do Prolog implementations mean by "float"?

floating-point prolog iso-prolog

How Prolog's logical update view works for assert and retract?

prolog iso-prolog prolog-assert

How can I simulate a soft cut in Prolog?

prolog porting iso-prolog prolog-cut xsb

What does +,+ mode in Prolog mean?

prolog iso-prolog

Will using member within a forall clause in SWI-Prolog always output the elements in the same order?

prolog swi-prolog iso-prolog

Intersection of two lists of variables

prolog iso-prolog

Equivalence of disjunction operator and definition with several rules

prolog iso-prolog

Extension to CFG, what is it?

prolog context-free-grammar dcg iso-prolog dcg-semicontext

Is this Prolog terminology correct? (fact, rule, procedure, predicate, ...)

prolog terminology iso-prolog

Minor inconsistency due to different operator precedence of ** and ^

prolog operator-precedence iso-prolog

Prolog DCG set_prolog_flag double_quotes source code directive location matters; documentation?

prolog directive dcg iso-prolog

Space-efficient writing of functional notation

list prolog iso-prolog

Is there a prolog language grammar/spec?

prolog grammar iso-prolog
Older Entries »