Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

How could I have two names for the same atom in Prolog?

prolog

Defining "let expressions" in Prolog

prolog let lexical-scope

insert element in a list and return the same list updated

prolog

map function in Erlang

Efficient Mutable Graph Representation in Prolog?

Depth limited search in prolog (vanilla meta-interpreter)

prolog metaprogramming

Factorial in Clojure core.logic

Small Expert System in prolog

What does the Prolog colon operator mean?

prolog

How to find out if Prolog performs Tail Call Optimization

Intersection of two lists of variables

prolog iso-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)

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