Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The debate rages on: Is PL/I Bachtrian or Dromedary?


devel / comp.lang.prolog / How Prolog relates to Model Theory ⊨≡⊢

SubjectAuthor
o How_Prolog_relates_to_Model_Theory_⊨≡olcott

1
How Prolog relates to Model Theory ⊨≡⊢

<u3uko3$3718f$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9985&group=comp.lang.prolog#9985

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.lang.prolog
Subject: How_Prolog_relates_to_Model_Theory_⊨≡

Date: Mon, 15 May 2023 20:02:58 -0500
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <u3uko3$3718f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 16 May 2023 01:02:59 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="aaf94f192518388b838fe87b30033088";
logging-data="3376399"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+TP10QVpdXIT83wdH8O13S"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.10.1
Cancel-Lock: sha1:HHHYeH477cc4hyKXS+AO/cHxGYM=
Content-Language: en-US
 by: olcott - Tue, 16 May 2023 01:02 UTC

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


devel / comp.lang.prolog / How Prolog relates to Model Theory ⊨≡⊢

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor