Uneven tabling performance in BProlog 8.1...

Lexicographically order two lists of variables using constraints...

8 queens puzzle Netbeans(java) graphical interface + SWI prolog...

Prolog: append number to a term...

Prolog for loop syntax error...

Nested loops with accumulators in B-Prolog...

Table modes and backtracking in B-Prolog...

Reading numbers from stdio in B-Prolog...

Prolog infinite loop...

Can I subtitude functor with variable in a predicate...

Running CG graphics on BProlog?...