PrologStandardExampleTheories
An object containing the collection of Prolog Standard databases and requests, testing ISO functionality.
These are the theories/goals used as worked examples by the ISO Prolog standard itself (e.g. in its sections on clause selection, conjunction, call/1, catch/throw, negation-as-failure and if-then(-else)), transcribed here so TestSolver and TestingClauseTheories can reuse them instead of re-deriving the same fixtures.
Author
Enrico
Properties
The database used in Prolog standard while writing examples for Call
The database used in Prolog standard while writing examples for Catch
Notable catchAndThrowTheoryExample request goals and respective expected Solutions
The database used in Prolog standard while writing examples for Conjunction
Notable conjunctionStandardExampleTheory request goals and respective expected Solutions
The database used in Prolog standard while writing examples for If-Then
Notable ifThenStandardExampleTheory request goals and respective expected Solutions
The database used in Prolog standard while writing examples for Not
The clause database used in Prolog Standard reference manual, when explaining solver functionality and search-trees
Notable prologStandardExampleTheory request goals and respective expected Solutions
Same as prologStandardExampleTheory but first clause contains cut
Notable prologStandardExampleWithCutTheory request goals and respective expected Solutions
Functions
Collection of all Prolog Standard example databases and their respective callable goals with expected solutions
Prolog Standard examples to test call primitive with callStandardExampleTheory
Notable notStandardExampleTheory request goals and respective expected Solutions