Integer square root works in SWI-Prolog and YAP, but but not in GNU-Prolog...

Programming in the large with prolog...

Prolog - generating numbers fitting given range...

SWI Prolog vs. GNU Prolog - CLP(FD) issues under SWI...

findall/3 returns an empty list instead of solutions...

How can i change size of sudoku...

Compile GTK with GPLC...

In GNU-Prolog, can I 'catch' a linux signal?...

How to define a dummy/placeholder predicate in GNU Prolog...

GNU Prolog assert error...

Getting list elements from Prolog in a C interface...

Examples for calling (GNU) Prolog from C as stand-alone...

How can I print unification results when using prolog script?...

How to use a "long int" in GNU Prolog?...

Weird situation in using a pointer as the argument for a C call Prolog Process...

Is it possible to get these memory addresses in gnu prolog?...

Why I can not store the address of one variable in "Prolog+C"?...

Why this Prolog+C code failed?...

GNU Prolog: Displaying WAM code for query?...

What does it mean when gprolog says "true?" instead of "yes" in this instance?...

Making Prolog code that works in GNU and SWI...

gprolog include directive not working...

Using (nb_)setarg/3 with gnu.prolog in Java...

Select Redoing Until Failure, Why?...

error handling in gprolog?...

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

How truncate file length in Prolog?...

Tautology Checker for GNU Prolog...

Reading a line from a file in GNU Prolog...

What would cause Prolog to succeed on a match, but fail when asked to label outputs?...