Using an extended PROLOG to solve the lion and unicorn Puzzle (Q1123642)

From MaRDI portal
Revision as of 11:42, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Using an extended PROLOG to solve the lion and unicorn Puzzle
scientific article

    Statements

    Using an extended PROLOG to solve the lion and unicorn Puzzle (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1989
    0 references
    0 references
    PROLOG
    0 references
    constraint satisfaction problem
    0 references
    unification in finite algebras
    0 references
    0 references