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

A searchable Prolog language description online [closed]

prolog standards iso-prolog

What does [a|b|c] evaluate to in SWI-Prolog?

prolog pipe iso-prolog cons

Which meanings of "type" are used in the standard?

iso-prolog

What is the Prolog operator `^` ("caret")?

lambda prolog exponentiation iso-prolog prolog-setof

Test that term is a list of distinct variables

prolog iso-prolog

What are the best Prolog programming practices and style guidelines? [closed]

prolog iso-prolog

Why are round brackets not needed for atoms that are high priority operators?

syntax prolog operators iso-prolog

Prolog systems in Javascript [closed]

javascript compilation prolog iso-prolog transpiler

Union of two variable sets

prolog iso-prolog

Variable occurrence in a list of variables

prolog iso-prolog

Equality of two lists of variables

prolog iso-prolog

Prolog - unusual cons syntax for lists

prolog iso-prolog

Prolog: Clauses are not together in source-file

prolog iso-prolog

How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?

sorting prolog iso-prolog prolog-dif

Unification with STO detection

algorithm prolog unification iso-prolog

What is the difference between ' and " in Prolog?

prolog double-quotes dcg iso-prolog

Rearranging variable_names

prolog iso-prolog

'if' in prolog?

prolog iso-prolog logical-purity
« Newer Entries