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
A function that counts the number '1's, '2's and '3's in a list, with count represented as, for example, s(s(s(0))) = 3
Nov 22, 2025
prolog
Extensional DCG Test Cases
Nov 22, 2025
unit-testing
prolog
grammar
dcg
Defining a module in Prolog
Nov 19, 2025
module
prolog
Prolog+clpfd: simple binary number parser with value
Nov 21, 2025
prolog
dcg
clpfd
1st program, return true if List 1 has more elements than List 2
Nov 21, 2025
prolog
Prolog lists Error: out of global stack
Nov 20, 2025
list
stack
prolog
global
dcg
Transposing a Matrix in prolog
Nov 18, 2025
prolog
Finding Unique Items in a List
Nov 18, 2025
prolog
How to parameterize a SPARQL query in SWI Prolog?
Nov 07, 2025
prolog
sparql
swi-prolog
semantic-web
dbpedia
Cool, visually-transmissible uses of Prolog [closed]
Nov 06, 2025
prolog
visualization
logic-programming
Why is prolog unification depth-first-search instead of breadth-first-search?
Nov 04, 2025
prolog
iso-prolog
How to define predicate in prolog programming?
Nov 02, 2025
prolog
What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?
Nov 01, 2025
module
prolog
iso-prolog
Modulus in Prolog
Nov 01, 2025
prolog
List of predicates in Prolog
Oct 31, 2025
list
prolog
Is there a way I can call non-terminal symbols recursively when working with a DCG in Prolog?
Nov 01, 2025
prolog
dcg
How does prolog resolution use proof by contradiction?
Oct 30, 2025
prolog
proof
logic-programming
Mac Prolog Console Text with black highlight
Oct 30, 2025
macos
user-interface
console
prolog
swi-prolog
« Newer Entries
Older Entries »