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
Rixter
Thu Jul 30 14:17:17 2026
from
Madison, Nc
via
Telnet
Krenn
Thu Jul 30 13:16:49 2026
from
Sydney, Nsw
via
Telnet
Bob Worm
Thu Jul 30 09:03:28 2026
from
Wales, Uk
via
Telnet
Bob Worm
Thu Jul 30 08:47:34 2026
from
Wales, Uk
via
Telnet
Bob Worm
Thu Jul 30 08:36:06 2026
from
Wales, Uk
via
Telnet
Rixter
Thu Jul 30 02:32:09 2026
from
Madison, Nc
via
Telnet
Bob Worm
Wed Jul 29 22:26:45 2026
from
Wales, Uk
via
Telnet
Zenobyte
Wed Jul 29 21:08:05 2026
from
San Juan, Pr
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
741
Nodes:
16 (
2
/
14
)
Uptime:
91:55:13
Calls:
12,456
Calls today:
6
Files:
15,197
Messages:
6,537,873