Archive for the ‘Prolog’ Category.

Clausal form

View as: view on E2  view as PDF

A standard form for first order formulae that consists of a number of clauses (series of atoms in conjunction that imply a disjunction of atoms). Brief overview of clauses (such as the headed horn clause used in Prolog/Cyc); clausal form algorithm; a worked example.

Language recognition and generation in Prolog

View as: view on E2  view as PDF

A demonstration of weaknesses in Prolog’s goal-matching method in the context of language recognition/generation. Considers decidability, term languages, statement form, arbitrary strings from a restricted alphabet.