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

New posts in prolog

3-in-a-row logic puzzle: optimisation for sequence constraints in lists/arrays

prolog constraints constraint-programming eclipse-clp clp

How do I show the results of pattern-matching goals with several free variables in SWI-Prolog from a shell invocation?

shell prolog non-interactive

curly brackets { } in DCG

prolog dcg

Prolog Array Pipe Meaning

syntax prolog

How to make Prolog depth-first-search algorithm go deeper into the tree? (Applied to Sokoban)

prolog depth-first-search backtracking

Recursive multiplication in prolog

prolog clpfd multiplication

Interpretation of Prolog's operator in an exercise

prolog

Prolog maze solving algorithm

algorithm recursion prolog maze

Why does this simple Prolog example cause a stack overflow?

prolog stack-overflow

labeling results into List?

prolog clpfd

Seeking a pure Prolog implementation of (\=)/2

prolog negation-as-failure

Prolog Tree Traversal

tree prolog constants evaluation

Beginner - add multiples of 3 and 5

prolog clpfd

Pure Prolog Peano Number Apartness

prolog successor-arithmetics logical-purity

DCG doubling a count

prolog dcg successor-arithmetics

Consecutive elements in a list

prolog dcg

Writing formatted text in SWI-Prolog

prolog

Error in replacing arguments in math formula

prolog demorgans-law

Pack consecutive duplicates of list elements into sublists in Prolog

lambda prolog
« Newer Entries Older Entries »