#!/usr/bin/env python
# coding: utf-8

# # **Exercise 01. Normal logic programs.**
# 

# #### **1**

# In[38]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X).\nb(1). b(2).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X).\nb(1). b(2). b(3).\n')


# #### **2**

# In[39]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), c(X).\nb(1). b(2). \nc(1). \n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), c(X).\nb(1). b(2). \nc(1). c(2). c(3).\n')


# #### **3**

# In[40]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), c(Y).\nb(1,5). b(2,10).\nc(10).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), c(Y).\nb(1,5). b(2,10).\nc(10). c(5).\n')


# #### **4**

# In[41]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), Y=X+1, not b(Y).\nb(1). b(2).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), Y=X+1, not b(Y).\nb(1). b(3).\n')


# #### **5**

# In[42]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), not c(X).\nb(1). b(2). c(1).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), not c(X).\nb(1). b(2). c(1).\nb(3). c(2).\n')


# #### **6**

# In[43]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), not c(Y).\nb(1,5). b(2,10). c(10).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), not c(Y).\nb(1,5). b(2,10).\n')


# #### **7**

# In[44]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), c(Y).\nb(1,2). b(2,3). \nc(2).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X,Y), c(Y).\nb(1,2). b(2,3). \nc(2). c(3).\n')


# #### **8**

# In[45]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), Y = X+1, not b(Y).\nb(1). b(2). b(3).\n')


# In[ ]:


get_ipython().run_cell_magic('clingo', '-V0 0', 'a(X) :- b(X), Y = X+1, not b(Y).\nb(1). b(5).\n')