Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Difference in arithmetic between @< and < in Prolog

prolog comparison

list intersection, Prolog

prolog

Calculating whether number is prime in Prolog

Term-expansion workflows

prolog logtalk

current_predicate/1 does not work with :- dynamic?

print all records using query in prolog

prolog

Automatic theorem proving

prolog theorem-proving

Constraint Handling Rules in SWI Prolog: Does the "constraint store" exists only for the duration of the toplevel goal processing?

How to remove solutions from a Prolog program

prolog

How to print out all the solutions in Prolog?

prolog

How do I make a variable empty in Prolog?

prolog

How can I split a list in Prolog to several lists containing 3 items?

list split prolog items

Creating a Prolog Query and Answer System

prolog

Finding all nodes connected to a vertex in Prolog

Prolog - Check if two lists have the same elements except one

list prolog prolog-dif

Numerical comparision in Einstein Riddle

prolog zebra-puzzle

Dynamic union find algorithm in Prolog

prolog union-find

How to pattern match wrapped variables in PROLOG without the cut?

convert same function/concept of C++ to prolog

c++ input io prolog

Asserting and retracting to emulate global variables