Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in prolog
Interpretation of Prolog's operator in an exercise
Mar 26, 2026
prolog
Prolog maze solving algorithm
Mar 25, 2026
algorithm
recursion
prolog
maze
Why does this simple Prolog example cause a stack overflow?
Mar 24, 2026
prolog
stack-overflow
labeling results into List?
Mar 24, 2026
prolog
clpfd
Seeking a pure Prolog implementation of (\=)/2
Mar 23, 2026
prolog
negation-as-failure
Prolog Tree Traversal
Mar 24, 2026
tree
prolog
constants
evaluation
Beginner - add multiples of 3 and 5
Mar 24, 2026
prolog
clpfd
Pure Prolog Peano Number Apartness
Mar 23, 2026
prolog
successor-arithmetics
logical-purity
DCG doubling a count
Mar 22, 2026
prolog
dcg
successor-arithmetics
Consecutive elements in a list
Mar 22, 2026
prolog
dcg
Writing formatted text in SWI-Prolog
Mar 22, 2026
prolog
Error in replacing arguments in math formula
Mar 22, 2026
prolog
demorgans-law
Pack consecutive duplicates of list elements into sublists in Prolog
Mar 22, 2026
lambda
prolog
Prolog - Matrix equation
Mar 22, 2026
prolog
clpfd
λProlog rejecting hypothetical reasoning queries?
Mar 21, 2026
prolog
logic-programming
lambda-prolog
Prolog - thread_join problem
Mar 20, 2026
multithreading
prolog
Superpermutation in Prolog
Mar 19, 2026
prolog
permutation
superpermutation
In prolog, how can I contiune after fail in a rule?
Mar 18, 2026
prolog
How to make one sorted list out of two already sorted lists
Mar 17, 2026
list
sorting
merge
prolog
Older Entries »