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

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

Complexity of ISO Prolog predicates

prolog time-complexity iso-prolog

What are the minimum/maximum integers in gprolog?

integer prolog iso-prolog

GNU Prolog assert error

prolog gnu-prolog iso-prolog prolog-assert

What is the difference between :- and ?- in Prolog?

prolog iso-prolog

Is an infinite list of ones sane?

list prolog cyclic iso-prolog coinduction

Are HiLog terms still useful in modern Prolog?

prolog iso-prolog xsb meta-predicate

Implementing cut in tracing meta interpreter prolog

prolog iso-prolog prolog-cut prolog-metainterpreter

Different results in swi-prolog and yap

prolog compatibility swi-prolog iso-prolog yap-prolog
« Newer Entries Older Entries »