"A Typed Foundation for Directional Logic Programming" paper from 1993

[aarroyoc]

Hi everybody,

Recently I've found this paper, that is in fact, not new at all, that talks about how to design a type/mode system on top of Prolog to achieve better concurrency support and correct some common mistakes. I'll leave it here just as food for thought: https://www.cs.bham.ac.uk/~udr/papers/directional.pdf

PS: I hope to meet most of you in Vienna in a few weeks!

[hurufu]

I'm not well equipped to understand most of this thesis, just leaving it here maybe it will be useful: https://pure.uva.nl/ws/files/62028111/Thesis.pdf