Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

How to Interfacing SWI Prolog to the Visual Studio 2012

Is prolog not considered an artificial intelligence tool?

What security risks are posed by using a local server to provide a browser-based gui for a program?

Make Prolog return one solution and stop showing the query option

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

Algorithm to detect and remove least number of inconsistent facts (probably in PROLOG)?

Mrs. Rosencrantz' Jess query (a Zebra Puzzle) expressed in Prolog

prolog zebra-puzzle

Prolog - arguments are not instantiated

prolog clpfd

Counting the number of elements in a list: how affectation works

prolog clpfd

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