Stem progol$ (all stems)
2 papers:
- ICLP-2010-Pahlavi10 #higher-order #learning #logic
- Higher-order Logic Learning and λ-Progol (NP), pp. 281–285.
- SAC-1997-ShimazuF #database #implementation #information management
- Knowledge discovery in database by Progol-design, implementation and its application to expert system building (KS, KF), pp. 91–93.