Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Making prolog more expressive - MaRDI portal

Making prolog more expressive (Q3707363)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Making prolog more expressive
scientific article

    Statements

    title
    Making prolog more expressive (English)
    0 references
    publication date
    1984
    0 references
    zbMATH Keywords
    logic programming
    0 references
    Horn clause program
    0 references
    semantics
    0 references
    first order logic
    0 references
    resolution proof search tree
    0 references
    deductive database systems
    0 references
    many-sorted predicate calculus
    0 references
    author
    John W. Lloyd
    0 references
    Rodney W. Topor
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N01
    0 references
    68T15
    0 references
    03B35
    0 references
    zbMATH DE Number
    3936479
    0 references
    OpenAlex ID
    W1985819576
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3707363&oldid=32516511"
    Powered by MediaWiki