General Discussion > Small talk

Quotes: Logical Programming for Grammar Implementations

(1/2) > >>

Kilian:
[Logic Programming] is even slightly Prolog-independent.

Since we're in a biblical environment, there could also be no father of a person.

It is important in disguise.

Would anybody be interested in that? Good. So it wouldn't be the empty seminar.

Kilian:
It is extremely useful, unfortunately.

Kilian:
And of course, the program introduces some highly intuitive type names like "most_general_common_subtype_1211".

This is something you would do yourself, as you don't typically have a Hiwi to figure out bounded completeness.

Kilian:
The rest is rather pedestrian here.

Kilian:
A: From a computational perspective, this isn't huge.
C: From a page formatting perspective, it is.

Navigation

[0] Message Index

[#] Next page

Go to full version