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
Fifty Years of Prolog and Beyond - MaRDI portal

Fifty Years of Prolog and Beyond (Q6063890)

From MaRDI portal
scientific article; zbMATH DE number 7776350
Language Label Description Also known as
English
Fifty Years of Prolog and Beyond
scientific article; zbMATH DE number 7776350

    Statements

    title
    Fifty Years of Prolog and Beyond (English)
    0 references
    arXiv ID
    2201.10816
    0 references
    publication date
    12 December 2023
    0 references
    zbMATH DE Number
    7776350
    0 references
    zbMATH Keywords
    prolog
    0 references
    logic programming systems
    0 references
    portability
    0 references
    rationale
    0 references
    evolution
    0 references
    vision
    0 references
    OpenAlex ID
    W4280605585
    0 references
    cites work
    Q3992583
    0 references
    Q4287474
    0 references
    Q5020572
    0 references
    Q4796144
    0 references
    Q3571951
    0 references
    Q4839029
    0 references
    Q5663380
    0 references
    Q3735050
    0 references
    Q2767050
    0 references
    Q4812993
    0 references
    Logic Programming
    0 references
    Q4353338
    0 references
    Q3919057
    0 references
    Q3049801
    0 references
    Q3857726
    0 references
    The YAP Prolog system
    0 references
    Q4873717
    0 references
    Hybrid type checking
    0 references
    Logic Programming
    0 references
    Q3340205
    0 references
    Semantic code browsing
    0 references
    Q4227005
    0 references
    Q3738543
    0 references
    Q3732947
    0 references
    Q4702568
    0 references
    Q4844168
    0 references
    Q4218865
    0 references
    Q4051550
    0 references
    Q4702576
    0 references
    Q3821629
    0 references
    Q4702577
    0 references
    Q4254883
    0 references
    Q4411982
    0 references
    Logic Programming
    0 references
    Q2763626
    0 references
    Q5020541
    0 references
    Q3992706
    0 references
    Q2723933
    0 references
    Q5233781
    0 references
    Q3662589
    0 references
    Q2702600
    0 references
    Towards Typed Prolog
    0 references
    Logic Programming
    0 references
    Q4844167
    0 references
    Q4800171
    0 references
    Q3746920
    0 references
    Guarded horn clauses
    0 references
    Logic Programming
    0 references
    SWI-Prolog and the web
    0 references
    SWI-Prolog
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6063890&oldid=37610440"
    Powered by MediaWiki