Logic Oriented Programming
[Logic](https://texonom.com/logic-e562053ace984677a72cb9eaf5c6f91e) 


### 로직과 컨트롤을 분리시켜 놨다는 것
논리형에서 말하는 논리(Fact + Rules)는 철학에서 말하는 논리와 거의 동일
### Logic Oriented Programming Notion
|Title|
|:-:|

- [Abductive logic](https://en.wikipedia.org/wiki/Abductive_logic_programming)
- [Answer set](https://en.wikipedia.org/wiki/Answer_set_programming)
- [Concurrent logic](https://en.wikipedia.org/wiki/Concurrent_logic_programming)
- [Functional logic](https://en.wikipedia.org/wiki/Functional_logic_programming)
- [Inductive logic](https://en.wikipedia.org/wiki/Inductive_logic_programming)



> [객체지향 시스템과 패러다임 그리고 철학](https://black7375.tistory.com/86)





