Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
throwaway000002
on Sept 14, 2016
|
parent
|
context
|
favorite
| on:
Ask HN: How to test or proove logic programming?
I'm sorry I know nothing about
core.logic
. However, if you are familiar with Prolog, and sufficiently motivated to work through cited references, this paper is a good place to start. [1]
[1]
https://arxiv.org/abs/1412.8739
piotr-yuxuan
on Sept 14, 2016
[–]
Great, thank you very much for your help :-)
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
[1] https://arxiv.org/abs/1412.8739