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
SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE - MaRDI portal

SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE

From MaRDI portal

Publication:3358245

Jump to:navigation, search

DOI10.1142/S0129054190000175zbMath0732.68072MaRDI QIDQ3358245

Stefania Costantini

Publication date: 1990

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

Horn-clause language semantics metalogic programming Reflective Prolog

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (1)

Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3358245&oldid=16619921"