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:	796
Nodes:	16 (0 / 16)
Uptime:	163:26:21
Calls:	13,194
Calls today:	1
Files:	15,487
Messages:	6,579,130