Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in prolog

list of the values in the leaf nodes of binary tree T

prolog binary-tree dcg

How to solve this arithmetic expression puzzle in Prolog?

python prolog constraints

Best way to generate integer numbers in Prolog

prolog

Prolog: get vs. at_end_of_stream for checking end of file

file prolog eof

Checking if a string is contained in a language (Prolog)

prolog context-free-grammar dcg

Append element to beginning of list in Prolog

list prolog

Duplicate constraints in CLP(FD) and with dif/2

prolog clpfd

Properly working with sets in Prolog

list prolog set unification

SWI-Prolog rule assertion from passed List

prolog

Prolog - Custom 'if-then-else'

if-statement prolog

How to extract data to list in Prolog?

list prolog

I wonder if I can use Prolog to do resolution reasoning

math prolog logic

Method that counts the number of occurs in one list in Prolog

prolog

Prolog - recursing down family tree

prolog tree

writing prolog statement with not operator

prolog

Solving CNF using Prolog

prolog conjunctive-normal-form clpb

prolog fill a list automatically with variables in loop

list variables prolog sudoku

Prolog Assignment

list prolog

Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")

haskell prolog propositional-calculus

What's the -> operator in Prolog and how can I use it?

operators prolog
« Newer Entries Older Entries »