Programming Language Theory: Difference between revisions
No edit summary |
|||
| Line 111: | Line 111: | ||
===Logic Programming=== | ===Logic Programming=== | ||
'''FIXME''' unification, backtracking, cuts | |||
===Constraint Programming=== | ===Constraint Programming=== | ||
Check out my first novel, midnight's simulacra!
No edit summary |
|||
| Line 111: | Line 111: | ||
===Logic Programming=== | ===Logic Programming=== | ||
'''FIXME''' unification, backtracking, cuts | |||
===Constraint Programming=== | ===Constraint Programming=== | ||