Prolog Glossary

Browse 2 prolog terms defined in plain English, from the cultural dictionary of computing.

2 Prolog Terms

Cut

In Prolog, the cut (!) operator commits to the current choice point, preventing backtracking past it. In Unix, the cut command extracts sections from each line...

Horn Clause

A logical formula consisting of a disjunction of literals with at most one positive literal, forming the basis of logic programming languages like Prolog. A...

Related Topics

• Unix (1 terms in common)
• Logic Programming (1 terms in common)
• Theory (1 terms in common)
• Control Flow (1 terms in common)