Questions tagged [prolog-defaulty]

Use this only with Prolog when noting defaulty code, a wordplay combining "default" and "faulty.

When Prolog code needs a default case when everything else fails it is know as being defaulty which is a wordplay combining default and faulty.

Prolog code should not be defaulty!!!

References:

Clean vs. defaulty representations
The cost of defaulty representations
Logic Programming Implementation Part I: The WAM - Scroll down to page 46 to find "Processing a Defaulty Data Structure"

16 questions
0
votes
1 answer

Extracting symbols from a given formula

I'm trying to extract symbols from formula. Ex: ?- formula((p v q) & (q v r), U). U = [p, q, v]. What I've done so far: simbol_formula([],[]). simbol_formula(negation X, [X]). simbol_formula(X or Y, [X,Y]). simbol_formula(X and Y, [X,Y]). I…
Salvan
  • 11
  • 3
1
2