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
How to delete the last element from a list in Prolog?
Oct 29, 2022
list
prolog
How to use predicate sharing the same name from several modules in Prolog
Oct 23, 2022
prolog
swi-prolog
Unit testing in XSB Prolog?
Jul 26, 2017
unit-testing
prolog
xsb
plunit
Generate all permutations of the list [1, 1, 2, 2, ..., n, n] where the number of elements between each pair is even in Prolog
May 20, 2022
algorithm
prolog
Duplicate solutions
Sep 02, 2018
prolog
prolog-setof
Use cut in Prolog to define a once_member/2 function
Sep 24, 2022
prolog
prolog-cut
Depth First Search Algorithm Prolog
Nov 01, 2022
algorithm
prolog
depth-first-search
transitive-closure
Please explain this Turing Machine simulator written in Prolog
Aug 31, 2016
prolog
turing-machines
Is this code tail-recursive?
Nov 02, 2022
prolog
tail-recursion
Are HiLog terms still useful in modern Prolog?
Jul 17, 2015
prolog
iso-prolog
xsb
meta-predicate
How can I embed a Prolog-like inference engine into a .NET application?
Nov 24, 2021
.net
prolog
inference-engine
Writing macros in SWI-Prolog
Dec 03, 2020
macros
prolog
swi-prolog
Sliding tile puzzle with varying tile size using logic programming
Nov 02, 2021
prolog
xsb
Solving a simple geometric puzzle in CLPQ/R (Prolog)
Mar 06, 2022
prolog
constraint-programming
clpq
clpr
Can I use variables with assert/1?
Mar 25, 2022
prolog
prolog-assert
prolog-directive-dynamic
Algorithm - Ideal Distribution Between Multiple Workshops & Timeframes
Feb 15, 2022
php
actionscript-3
algorithm
math
prolog
Implementing cut in tracing meta interpreter prolog
Mar 13, 2022
prolog
iso-prolog
prolog-cut
prolog-metainterpreter
Is adaptive parsing possible in Prolog?
Sep 15, 2022
machine-learning
prolog
self-reference
dcg
codegen
Prolog nth1 anonymous variables
Dec 16, 2018
prolog
prolog-toplevel
Different results in swi-prolog and yap
May 03, 2022
prolog
compatibility
swi-prolog
iso-prolog
yap-prolog
« Newer Entries
Older Entries »