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

New posts in prolog

Prolog - Twice List

list prolog recursive-query

How to get current system year in Prolog as a number

prolog swi-prolog

create circled List in Prolog

list prolog failure-slice

Prolog "singleton variable" warning

prolog singleton cryptarithmetic-puzzle

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

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 »