Forum: >>> Magnum BBS <<<

=?UTF-8?Q?How_Prolog_relates_to_Model_Theory_=e2=8a=a8=e2=89=a1?= =?UTF

From olcott@21:1/5 to All on Mon May 15 20:02:58 2023

https://swi-prolog.discourse.group/t/terminology-true-entailed-provable-holds/2093

https://www.cs.nmsu.edu/ALP/ This is their logo: ⊨≡⊢

--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	491
Nodes:	16 (3 / 13)
Uptime:	147:28:45
Calls:	9,695
Calls today:	5
Files:	13,732
Messages:	6,178,671