Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Breadth First Search in Prolog

`var(A)` and order of execution

Prolog: predicate for maximum without accumulator

I want to make this prolog file a stand-alone EXE file

prolog exe

SWI-Prolog read http header

http prolog swi-prolog

Prolog: "Vanilla" metainterpreter with builtins

prolog

Equality of sets

prolog

Simple PROLOG issue: How do you test multiple queries against your Prolog database?

database prolog gnu-prolog

Swi Prolog, unloading source files

file prolog swi-prolog

Swi-Prolog: No permission to modify static procedure

prolog

how can I make prolog print query results when running a prolog script

prolog gnu-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