We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λProlog.
We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λProlog.