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:	765
Nodes:	16 (2 / 14)
Uptime:	36:59:17
Calls:	12,759
Calls today:	3
Files:	15,359
Messages:	6,556,885