Semantic Indexing: Scaling Proofs as Programs

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.prolog
Subject	Semantic Indexing: Scaling Proofs as Programs
Date	2025-07-16 11:54 +0200
Message-ID	<1057st7$2a87p$1@solani.org> (permalink)

Show all headers | View raw

Hi,

Maybe they should double check what
modern compilers do or what modern IDEs
to in object orient programming languages.

How it started:

How to Make Ad Hoc Proof Automation Less Ad Hoc
https://people.mpi-sws.org/~beta/lessadhoc/

How its going:

Optimizing Canonical Structures
https://inria.hal.science/hal-05148851v1/document

The original paper termed canonical structures,
it has a nice visa à visa. “Type Class” Programming
versus “Logic” Programming,

giving it a less functional programming
spin. But hell wasn't there Prolog++ already
in the past?

The newest paper shows new style of research,
citing garbage tickets from TurdPit inside
a paper, and just listing some further

untested and shallow research Turds. Kind
of institutionalize Trial & Error. They could
equally well shoot their own Foot and

then jump in circles.

Bye

Back to comp.lang.prolog | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Semantic Indexing: Scaling Proofs as Programs Mild Shock <janburse@fastmail.fm> - 2025-07-16 11:54 +0200
  L∃∀n prover does embrace AI Fusion (Re: Semantic Indexing: Scaling Proofs as Programs) Mild Shock <janburse@fastmail.fm> - 2025-07-16 12:08 +0200

csiph-web