prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is single sided unification sufficient for Datalog?
Admin1
•
1
1
59
unification datalog prolog
insert(I, [], [I, [], [] ] ). how to insert into a binary tree?
user_150777520
•
1
2
104
prolog
Should text-processing DCGs be written to handle codes or chars? Or both?
user_8844630
•
7
4
371
prolog dcg char
insert(I, [], [I, [], [] ] ). how to insert a value into a binary tree?
user_150777520
•
2
1
86
prolog
How to use SWI Prolog's http/html_write library to write HTML to a file
user_59169150
•
2
1
106
swi-prolog prolog html
Is there any difference between using the "or" operator and using several clauses?
user_62420450
•
4
3
119
prolog
Quine's algorithm with Single Sided Unification in Prolog
Admin1
•
2
2
95
picat propositional-calculus unification prolog
A cross-module "interface" call in SWI-Prolog
user_8844630
•
2
4
212
swi-prolog prolog module interface
What is the most elegant way to find 16-bit numbers which satisfy some conditions?
user_132936140
•
5
5
215
clpb sat logic-programming prolog constraint-programming
How to print a write value given prolog predicate retuns true?
user_143398570
•
2
2
125
prolog
Hot Questions