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
Learning Prolog: solving a crossword scheme
Jul 29, 2021
prolog
crossword
Better termination for s(X)-sum
Apr 19, 2022
prolog
termination
failure-slice
successor-arithmetics
Prolog and limitations of backtracking
Oct 29, 2022
prolog
What is #= in Prolog
Jul 08, 2021
prolog
clpfd
Extending unification, SICStus-style
Sep 13, 2022
prolog
unification
sicstus-prolog
Swap last two elements of a list in Prolog
Sep 05, 2022
list
prolog
Two stars in a Prolog list
Nov 11, 2021
prolog
logic
swi-prolog
prolog-toplevel
prolog interpreter on linux?
Sep 23, 2022
prolog
How would you code a program in Prolog to print numbers from 1 to 10 using recursion?
Sep 08, 2020
recursion
prolog
Solving the Zebra puzzle (aka. Einstein puzzle) using the clpfd Prolog library
Jan 29, 2018
prolog
constraints
constraint-programming
clpfd
zebra-puzzle
Extension to CFG, what is it?
Dec 03, 2021
prolog
context-free-grammar
dcg
iso-prolog
dcg-semicontext
How to go about creating a prolog program that can work backwards to determine steps needed to reach a goal
Nov 18, 2022
artificial-intelligence
prolog
design-decisions
Prolog - Parsing
Jul 17, 2019
parsing
prolog
dcg
What is the difference between _ and _variable in prolog?
Nov 10, 2022
syntax
prolog
How to generate normal distributed random numbers in Prolog?
Mar 10, 2022
random
prolog
probability
Optimized CLP(FD) solver for number board puzzle
Jun 30, 2022
prolog
clpfd
Programming Language for Berkeley Overmind Starcraft AI competition [closed]
Jun 20, 2022
python
prolog
scheme
lisp
starcraftgym
How to create a rule that makes all relations symmetric in Prolog?
Mar 14, 2022
prolog
How to avoid using assert and retractall in Prolog to implement global (or state) variables
Sep 12, 2017
prolog
dcg
prolog-assert
implicit-state-passing
Herbrand universe and Least herbrand Model
Mar 24, 2022
prolog
logic-programming
« Newer Entries
Older Entries »