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
Is Prolog really based on the closed-world assumption?
Jul 15, 2026
prolog
logic
Prolog: I am stuck in an imperative mindset
Jul 15, 2026
prolog
declarative-programming
Read a list of records and perform ongoing calculations about the previous records using Prolog
Jul 16, 2026
list
prolog
Converting database to facts in Prolog
Jul 16, 2026
prolog
Why prolog uses most-general-unifier and not simply unifier
Jul 15, 2026
prolog
A Prolog programme getting ERROR: >/2: Arguments are not sufficiently instantiated
Jul 15, 2026
prolog
clpfd
Prolog - precedence of operators - Bratko - Chapter 3
Jul 15, 2026
prolog
artificial-intelligence
What is wrong with this version of trace?
Jul 15, 2026
prolog
prolog-metainterpreter
Term expansion before compiling in GNU Prolog
Jul 14, 2026
prolog
gnu-prolog
Procedure to test whether list represents a set with no duplicates
Jul 14, 2026
list
prolog
What AI topic should i pick for my class project?
Jul 13, 2026
project
artificial-intelligence
prolog
I am trying to create a language a^n b^n-1 c^n-2 using DCG but can't make the succ(0) to handle n
Jul 13, 2026
prolog
dcg
successor-arithmetics
How to solve 15-puzzle paradigm in Prolog with Manhattan & Hamming Heuristics
Jul 12, 2026
search
prolog
a-star
heuristics
sliding-tile-puzzle
Create a sublist from a list given an index and a number of elements. Prolog
Jul 12, 2026
list
indexing
prolog
element
sublist
Even and odd cases for the pivot/2 predicate aren't running properly when placed together
Jul 12, 2026
prolog
failure-slice
Prolog length of a list
Jul 11, 2026
list
prolog
How do I freeze a goal for a list of variables?
Jul 10, 2026
prolog
clpfd
automaton
Prolog DCG read from file with separotr
Jul 12, 2026
prolog
dcg
How to find the biggest digit in a number in Prolog?
Jul 11, 2026
prolog
Prolog: Checking lengths of lists inside a list
Jul 10, 2026
list
prolog
« Newer Entries
Older Entries »