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
Two congruent semantics for Prolog with CUT - MaRDI portal

Two congruent semantics for Prolog with CUT

From MaRDI portal

Publication:805227

Jump to:navigation, search

DOI10.1007/BF02946567zbMath0728.68042MaRDI QIDQ805227

Mingyuan Zhu

Publication date: 1990

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

formal semantics implementation programming language Prolog

Mathematics Subject Classification ID

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

Cites Work

The algebraic specification of abstract data types

This page was built for publication: Two congruent semantics for Prolog with CUT

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