Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction | Publicación