From The Free On-line Dictionary of Computing (19 January 2023): Aurora <language> A Prolog implementation with or-parallelism. ["The Aurora Or-Parallel Prolog System", E. Lusk et al, Proc 3rd Intl Conf on Fifth Generation Comp Systems, pp. 819-830, ICOT, A-W 1988]. (2018-01-01)
Aurora
<language> A Prolog implementation with or-parallelism.
["The Aurora Or-Parallel Prolog System", E. Lusk et al, Proc 3rd Intl Conf on Fifth Generation Comp Systems, pp. 819-830, ICOT, A-W 1988].
(2018-01-01)