├── AUTHORS.md ├── DeepLogCodeAndExamples.zip ├── LICENSE.md └── README.md /AUTHORS.md: -------------------------------------------------------------------------------- 1 | # This is the official list of DeepLog authors for copyright puroposes. 2 | 3 | Imperial College London 4 | Stephen H. Muggleton 5 | -------------------------------------------------------------------------------- /DeepLogCodeAndExamples.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StephenMuggleton/DeepLog/0c89e47f561b1b6c95278b5103cf6538bcc92a40/DeepLogCodeAndExamples.zip -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- 1 | BSD 3-Clause License 2 | 3 | Copyright (c) 2022, The authors of DeepLog 4 | All rights reserved. 5 | 6 | Redistribution and use in source and binary forms, with or without 7 | modification, are permitted provided that the following conditions are met: 8 | 9 | * Redistributions of source code must retain the above copyright notice, this 10 | list of conditions and the following disclaimer. 11 | 12 | * Redistributions in binary form must reproduce the above copyright notice, 13 | this list of conditions and the following disclaimer in the documentation 14 | and/or other materials provided with the distribution. 15 | 16 | * Neither the name of the copyright holder nor the names of its 17 | contributors may be used to endorse or promote products derived from 18 | this software without specific prior written permission. 19 | 20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 21 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 22 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 23 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE 24 | FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 25 | DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 26 | SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 27 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 28 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 29 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 30 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | DeepLog is an inductive logic programming (ILP) system based on meta-interpretive learning. If you use DeepLog for research, please use this citation and cite the following paper. 2 | 3 | ``` 4 | S.H. Muggleton, "Hypothesising an Algorithm from One Example: 5 | the Role of Specificity", Philosophical Transactions 6 | of the Royal Society A, 2023. 7 | ``` 8 | 9 | Using DeepLog 10 | DeepLog is written in Prolog and runs with SWI-Prolog. It uses a standard library of Prolog background knowledge (lib_dl) together 11 | with examples to produce a new Prolog program. 12 | 13 | The following code for 'par3' demonstrates learning the great-grandparent relation given the parent relation as background knowledge: 14 | 15 | ``` 16 | :- [lib_dl]. % Common background knowledge 17 | 18 | pos([ 19 | par3(sally,bob) 20 | ]). 21 | neg([]). 22 | ``` 23 | 24 | This code can be given to DeepLog under Linux as follows. 25 | 26 | ``` 27 | $ dl par3 28 | ``` 29 | 30 | This produce the following output. 31 | 32 | ``` 33 | par3(X,Y) :- parent(X,Z), par3_1(Z,Y). 34 | 35 | par3_1(X,Y) :- parent(X,Z), parent(Z,Y). 36 | ``` 37 | 38 | In this program the predicate symbol par3_1 is invented (i.e. does not appear in the background knowledge nor in the examples). 39 | 40 | The code and data used in the following paper 41 | 42 | ``` 43 | S.H. Muggleton, "Hypothesising an Algorithm from One Example: 44 | the Role of Specificity", Philosophical Transactions 45 | of the Royal Society A, 2023. 46 | ``` 47 | 48 | can be downloaded in the following zipfile. 49 | 50 | ``` 51 | DeepLogCodeAndExamples.zip 52 | ``` 53 | 54 | 55 | --------------------------------------------------------------------------------