Fifty Years of Prolog and Beyond (Q6063890)

From MaRDI portal
Revision as of 18:06, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





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
    publication date
    12 December 2023
    0 references
    zbMATH Keywords
    prolog
    0 references
    logic programming systems
    0 references
    portability
    0 references
    rationale
    0 references
    evolution
    0 references
    vision
    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

    Identifiers

    arXiv ID
    2201.10816
    0 references
    zbMATH DE Number
    7776350
    0 references
    OpenAlex ID
    W4280605585
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6063890&oldid=39678636"
    Powered by MediaWiki