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
A new term representation method for prolog - MaRDI portal

A new term representation method for prolog

From MaRDI portal

Publication:3841096

Jump to:navigation, search

DOI10.1016/S0743-1066(97)00062-9zbMath0905.68023MaRDI QIDQ3841096

Publication date: 29 September 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Prolog systems structure sharing program sharing structure copying

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

wamcc

This page was built for publication: A new term representation method for prolog

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