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

New posts in prolog

Convert Prolog functor to functor with difference lists

prolog palindrome dcg difference-lists

Ordering Strings in Prolog

string prolog sql-order-by

list length, inserting element

list prolog

How do I get the shortest list from all the unified options for a list variable in prolog?

prolog graph-theory shortest-path

Prolog - How to write all prolog answers to .txt file?

prolog

Why does Prolog operator definitions have xfx?

prolog operators syntactic-sugar iso-prolog

Prolog finding the largest integer in a list from the tail

list prolog tail-recursion failure-slice

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

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

haskell prolog propositional-calculus
« Newer Entries Older Entries »