Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
COMP.LANG.PROLOG
=?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)
Who's Online
Recent Visitors
Yokzimo
Tue Jun 9 17:10:05 2026
from
Sw
via
Telnet
Regen
Tue Jun 9 16:45:02 2026
from
Brooklyn, Ny
via
Telnet
Bob Worm
Tue Jun 9 14:47:58 2026
from
Wales, Uk
via
Telnet
Krenn
Tue Jun 9 11:18:15 2026
from
Sydney, Nsw
via
Telnet
Bob Worm
Tue Jun 9 10:31:07 2026
from
Wales, Uk
via
Telnet
Centurion
Mon Jun 8 23:30:43 2026
from
Berea, Ohio
via
Telnet
Centurion
Mon Jun 8 21:33:11 2026
from
Berea, Ohio
via
Telnet
Bob Worm
Mon Jun 8 20:15:00 2026
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
716
Nodes:
16 (
2
/
14
)
Uptime:
49:01:45
Calls:
12,115
Calls today:
6
Files:
15,010
Messages:
6,518,530