Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
gmfawcett
on Aug 8, 2020
|
parent
|
context
|
favorite
| on:
Formulog: ML + Datalog + SMT
Also try searching for "sequent calculus" or "Gentzen proof calculus" which describe the underlying logical framework.
You might enjoy this tutorial:
http://logitext.mit.edu/logitext.fcgi/tutorial
guerrilla
on Aug 8, 2020
[–]
Dag Prawitz's book "Natural Deduction" isn't too hard to read .
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
You might enjoy this tutorial: http://logitext.mit.edu/logitext.fcgi/tutorial