Specification and initialization of a logic computer system (Q1076506)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Specification and initialization of a logic computer system
scientific article

    Statements

    Specification and initialization of a logic computer system (English)
    0 references
    0 references
    1986
    0 references
    logic inference machines
    0 references
    logic computer system
    0 references
    logic operating system
    0 references
    Concurrent Prolog
    0 references
    specification
    0 references
    logic programming
    0 references
    operational initialization
    0 references
    0 references
    0 references

    Identifiers