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

New posts in prolog

Prolog: Is f(X) = X unifiable or not?

prolog unification

Prolog programm returns yes instead of value

prolog

Prolog - finding all combinations (The product) of List of Lists (of Lists)

prolog combinations prolog-findall

Free Variable in Prolog

prolog free-variable

Question - formal language in prolog

prolog grammar dcg

How to write "a implies b or c" in Prolog

prolog

prolog dcg restriction

prolog dcg failure-slice

Prolog, "or" operator for rule statments

prolog operators

Delete an element in a list at a specified index

list indexing prolog element

How can I define a new operator in Prolog?

prolog operators

Prolog matching vs miniKanren unification

prolog clojure-core.logic minikanren occurs-check

Equivalence of disjunction operator and definition with several rules

prolog iso-prolog

"dynamic" predicate in prolog

prolog prolog-directive-dynamic

Concatting a list of strings in Prolog

prolog artificial-intelligence translation grammar dcg

prolog Searching the Lists

prolog dcg

Variable Names in SWI Prolog

reflection prolog

What are the optimal green cuts for successor arithmetics sum?

prolog swi-prolog successor-arithmetics prolog-cut

How to include an image in an HTML page served dynamically by Prolog?

image prolog swi-prolog httpserver

Understanding difference lists (Prolog)

prolog palindrome difference-lists

PROLOG CLPFD How to express this via constraints?

prolog constraints swi-prolog minimize clpfd
« Newer Entries Older Entries »